Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
R
S
T
U
V
A
add(AtomicConcept)
- Method in class tbox.
Alfabeth
add(AtomicRole)
- Method in class tbox.
Alfabeth
add(AtomicValueDomain)
- Method in class tbox.
Alfabeth
add(AtomicConceptAttribute)
- Method in class tbox.
Alfabeth
add(AtomicRoleAttribute)
- Method in class tbox.
Alfabeth
addAssertion(InclusionAssertion)
- Method in class tbox.
TBox
addAssertion(FunctionalityAssertion)
- Method in class tbox.
TBox
addAssertion(IdentificationAssertion)
- Method in class tbox.
TBox
addISA(ISA)
- Method in class tbox.
TBox
Alfabeth
- Class in
tbox
Alfabeth()
- Constructor for class tbox.
Alfabeth
Alfabeth(Vector<AtomicConcept>, Vector<AtomicRole>, Vector<AtomicValueDomain>, Vector<AtomicConceptAttribute>, Vector<AtomicRoleAttribute>)
- Constructor for class tbox.
Alfabeth
alfabeth
- Variable in class tbox.
TBox
assertions
- package assertions
AtomicConcept
- Class in
domain
AtomicConcept(String)
- Constructor for class domain.
AtomicConcept
AtomicConceptAttribute
- Class in
domain
AtomicConceptAttribute(String)
- Constructor for class domain.
AtomicConceptAttribute
AtomicRole
- Class in
domain
AtomicRole(String)
- Constructor for class domain.
AtomicRole
AtomicRoleAttribute
- Class in
domain
AtomicRoleAttribute(String)
- Constructor for class domain.
AtomicRoleAttribute
AtomicValueDomain
- Class in
domain
AtomicValueDomain(String)
- Constructor for class domain.
AtomicValueDomain
B
b
- Variable in class domain.
NegatedBasicConcept
BasicConcept
- Class in
domain
BasicConcept()
- Constructor for class domain.
BasicConcept
BasicRole
- Class in
domain
BasicRole()
- Constructor for class domain.
BasicRole
BasicValueDomain
- Class in
domain
BasicValueDomain()
- Constructor for class domain.
BasicValueDomain
C
concept
- Variable in class assertions.
IdentificationAssertion
ConceptAttributeDomain
- Class in
domain
ConceptAttributeDomain(AtomicConceptAttribute)
- Constructor for class domain.
ConceptAttributeDomain
ConceptAttributeRange
- Class in
domain
ConceptAttributeRange(AtomicConceptAttribute)
- Constructor for class domain.
ConceptAttributeRange
conceptAttributes
- Variable in class tbox.
Alfabeth
conceptDisjointness(TBox)
- Static method in class translation.
FOLTranslator
concepts
- Variable in class tbox.
Alfabeth
createBasicConcept(Node)
- Method in class tbox.
TBoxParser
createBasicRole(Node)
- Method in class tbox.
TBoxParser
createBasicValueDomain(Node)
- Method in class tbox.
TBoxParser
createGeneralConcept(Node)
- Method in class tbox.
TBoxParser
createGeneralConceptAttribute(Node)
- Method in class tbox.
TBoxParser
createGeneralRole(Node)
- Method in class tbox.
TBoxParser
createGeneralRoleAttribute(Node)
- Method in class tbox.
TBoxParser
createGeneralValueDomain(Node)
- Method in class tbox.
TBoxParser
D
DirectRole
- Class in
domain
DirectRole(AtomicRole)
- Constructor for class domain.
DirectRole
DirectRoleAttributeDomain
- Class in
domain
DirectRoleAttributeDomain(AtomicRoleAttribute)
- Constructor for class domain.
DirectRoleAttributeDomain
domain
- package domain
dx
- Variable in class assertions.
ISA
E
elem
- Variable in class assertions.
FunctionalityAssertion
equals(Object)
- Method in class assertions.
ISA
equals(Object)
- Method in class domain.
AtomicConcept
equals(Object)
- Method in class domain.
AtomicConceptAttribute
equals(Object)
- Method in class domain.
AtomicRole
equals(Object)
- Method in class domain.
AtomicRoleAttribute
equals(Object)
- Method in class domain.
AtomicValueDomain
ExistentialRole
- Class in
domain
ExistentialRole(BasicRole)
- Constructor for class domain.
ExistentialRole
F
FOLTranslator
- Class in
translation
FOLTranslator()
- Constructor for class translation.
FOLTranslator
Functionable
- Interface in
domain
FunctionalityAssertion
- Class in
assertions
FunctionalityAssertion(Functionable)
- Constructor for class assertions.
FunctionalityAssertion
functionalityAssertions
- Variable in class tbox.
TBox
G
GeneralConcept
- Class in
domain
GeneralConcept()
- Constructor for class domain.
GeneralConcept
GeneralConceptAttribute
- Class in
domain
GeneralConceptAttribute()
- Constructor for class domain.
GeneralConceptAttribute
GeneralRole
- Class in
domain
GeneralRole()
- Constructor for class domain.
GeneralRole
GeneralRoleAttribute
- Class in
domain
GeneralRoleAttribute()
- Constructor for class domain.
GeneralRoleAttribute
GeneralValueDomain
- Class in
domain
GeneralValueDomain()
- Constructor for class domain.
GeneralValueDomain
getAlfabeth()
- Method in class tbox.
TBox
getBasicConcept()
- Method in class domain.
NegatedBasicConcept
getBasicRole()
- Method in class domain.
ExistentialRole
getBasicRole()
- Method in class domain.
NegatedBasicRole
getConcept()
- Method in class assertions.
IdentificationAssertion
getConceptAttribute()
- Method in class domain.
ConceptAttributeDomain
getConceptAttribute()
- Method in class domain.
ConceptAttributeRange
getConceptAttribute()
- Method in class domain.
NegatedConceptAttribute
getConceptAttributes()
- Method in class tbox.
Alfabeth
getConcepts()
- Method in class tbox.
Alfabeth
getDx()
- Method in class assertions.
ISA
getElem()
- Method in class assertions.
FunctionalityAssertion
getFunctionalityAssertions()
- Method in class tbox.
TBox
getIdentificationAssertions()
- Method in class tbox.
TBox
getIdlist_attr()
- Method in class assertions.
IdentificationAssertion
getIdlist_role()
- Method in class assertions.
IdentificationAssertion
getInclusionAssertions()
- Method in class tbox.
TBox
getLeft()
- Method in class assertions.
InclusionAssertion
getLista_isa()
- Method in class tbox.
TBox
getName()
- Method in class domain.
AtomicConcept
getName()
- Method in class domain.
AtomicConceptAttribute
getName()
- Method in class domain.
AtomicRole
getName()
- Method in class domain.
AtomicRoleAttribute
getName()
- Method in class domain.
AtomicValueDomain
getRight()
- Method in class assertions.
InclusionAssertion
getRole()
- Method in class domain.
DirectRole
getRole()
- Method in class domain.
InverseRole
getRoleAttribute()
- Method in class domain.
DirectRoleAttributeDomain
getRoleAttribute()
- Method in class domain.
InverseRoleAttributeDomain
getRoleAttribute()
- Method in class domain.
NegatedRoleAttribute
getRoleAttribute()
- Method in class domain.
RoleAttributeRange
getRoleAttributes()
- Method in class tbox.
Alfabeth
getRoles()
- Method in class tbox.
Alfabeth
getSx()
- Method in class assertions.
ISA
getTbox()
- Method in class tbox.
TBoxParser
getValueSets()
- Method in class tbox.
Alfabeth
H
hashCode()
- Method in class assertions.
ISA
hashCode()
- Method in class domain.
AtomicConcept
hashCode()
- Method in class domain.
AtomicConceptAttribute
hashCode()
- Method in class domain.
AtomicRole
hashCode()
- Method in class domain.
AtomicRoleAttribute
hashCode()
- Method in class domain.
AtomicValueDomain
I
IdentificationAssertion
- Class in
assertions
IdentificationAssertion(BasicConcept, Collection<AtomicConceptAttribute>, Collection<BasicRole>)
- Constructor for class assertions.
IdentificationAssertion
identificationAssertions
- Variable in class tbox.
TBox
idlist_attr
- Variable in class assertions.
IdentificationAssertion
idlist_role
- Variable in class assertions.
IdentificationAssertion
Included
- Interface in
domain
Including
- Interface in
domain
InclusionAssertion
- Class in
assertions
InclusionAssertion(Included, Including)
- Constructor for class assertions.
InclusionAssertion
inclusionAssertions
- Variable in class tbox.
TBox
InverseRole
- Class in
domain
InverseRole(AtomicRole)
- Constructor for class domain.
InverseRole
InverseRoleAttributeDomain
- Class in
domain
InverseRoleAttributeDomain(AtomicRoleAttribute)
- Constructor for class domain.
InverseRoleAttributeDomain
ISA
- Class in
assertions
ISA(AtomicConcept, AtomicConcept)
- Constructor for class assertions.
ISA
isConceptAttributeInclusion()
- Method in class assertions.
InclusionAssertion
isConceptInclusion()
- Method in class assertions.
InclusionAssertion
isInverse(Node)
- Method in class tbox.
TBoxParser
isRoleAttributeInclusion()
- Method in class assertions.
InclusionAssertion
isRoleInclusion()
- Method in class assertions.
InclusionAssertion
isValueDomainInclusion()
- Method in class assertions.
InclusionAssertion
L
left
- Variable in class assertions.
InclusionAssertion
lista_isa
- Variable in class tbox.
TBox
loadAlphabet(Node)
- Method in class tbox.
TBoxParser
loadConceptAttrInclusion(Node)
- Method in class tbox.
TBoxParser
loadConceptInclusion(Node)
- Method in class tbox.
TBoxParser
loadRoleAttrInclusion(Node)
- Method in class tbox.
TBoxParser
loadRoleInclusion(Node)
- Method in class tbox.
TBoxParser
loadTBox(Node)
- Method in class tbox.
TBoxParser
loadValueSetInclusion(Node)
- Method in class tbox.
TBoxParser
M
Main
- Class in
translation
Main()
- Constructor for class translation.
Main
main(String[])
- Static method in class translation.
Main
N
name
- Variable in class domain.
AtomicConcept
name
- Variable in class domain.
AtomicConceptAttribute
name
- Variable in class domain.
AtomicRole
name
- Variable in class domain.
AtomicRoleAttribute
name
- Variable in class domain.
AtomicValueDomain
NegatedBasicConcept
- Class in
domain
NegatedBasicConcept(BasicConcept)
- Constructor for class domain.
NegatedBasicConcept
NegatedBasicRole
- Class in
domain
NegatedBasicRole(BasicRole)
- Constructor for class domain.
NegatedBasicRole
NegatedConceptAttribute
- Class in
domain
NegatedConceptAttribute(AtomicConceptAttribute)
- Constructor for class domain.
NegatedConceptAttribute
NegatedRoleAttribute
- Class in
domain
NegatedRoleAttribute(AtomicRoleAttribute)
- Constructor for class domain.
NegatedRoleAttribute
P
parseXML(String)
- Method in class tbox.
TBoxParser
Q
q
- Variable in class domain.
ExistentialRole
q
- Variable in class domain.
NegatedBasicRole
R
right
- Variable in class assertions.
InclusionAssertion
role
- Variable in class domain.
DirectRole
role
- Variable in class domain.
InverseRole
RoleAttributeRange
- Class in
domain
RoleAttributeRange(AtomicRoleAttribute)
- Constructor for class domain.
RoleAttributeRange
roleAttributes
- Variable in class tbox.
Alfabeth
roles
- Variable in class tbox.
Alfabeth
rootChildren
- Variable in class tbox.
TBoxParser
S
setAlfabeth(Alfabeth)
- Method in class tbox.
TBox
setBasicConcept(BasicConcept)
- Method in class domain.
NegatedBasicConcept
setBasicRole(BasicRole)
- Method in class domain.
ExistentialRole
setBasicRole(BasicRole)
- Method in class domain.
NegatedBasicRole
setConcept(BasicConcept)
- Method in class assertions.
IdentificationAssertion
setConceptAttribute(AtomicConceptAttribute)
- Method in class domain.
ConceptAttributeRange
setConceptAttribute(AtomicConceptAttribute)
- Method in class domain.
NegatedConceptAttribute
setConceptAttributes(Collection<AtomicConceptAttribute>)
- Method in class tbox.
Alfabeth
setConcepts(Collection<AtomicConcept>)
- Method in class tbox.
Alfabeth
setDx(AtomicConcept)
- Method in class assertions.
ISA
setElem(Functionable)
- Method in class assertions.
FunctionalityAssertion
setFunctionalityAssertions(Collection<FunctionalityAssertion>)
- Method in class tbox.
TBox
setIdentificationAssertions(Collection<IdentificationAssertion>)
- Method in class tbox.
TBox
setIdlist_attr(Collection<AtomicConceptAttribute>)
- Method in class assertions.
IdentificationAssertion
setIdlist_role(Collection<BasicRole>)
- Method in class assertions.
IdentificationAssertion
setInclusionAssertions(Collection<InclusionAssertion>)
- Method in class tbox.
TBox
setLeft(Included)
- Method in class assertions.
InclusionAssertion
setLista_isa(Collection<ISA>)
- Method in class tbox.
TBox
setName(String)
- Method in class domain.
AtomicConcept
setName(String)
- Method in class domain.
AtomicConceptAttribute
setName(String)
- Method in class domain.
AtomicRole
setName(String)
- Method in class domain.
AtomicRoleAttribute
setName(String)
- Method in class domain.
AtomicValueDomain
setRight(Including)
- Method in class assertions.
InclusionAssertion
setRole(AtomicRole)
- Method in class domain.
DirectRole
setRole(AtomicRole)
- Method in class domain.
InverseRole
setRoleAttribute(AtomicRoleAttribute)
- Method in class domain.
DirectRoleAttributeDomain
setRoleAttribute(AtomicRoleAttribute)
- Method in class domain.
InverseRoleAttributeDomain
setRoleAttribute(AtomicRoleAttribute)
- Method in class domain.
NegatedRoleAttribute
setRoleAttribute(AtomicRoleAttribute)
- Method in class domain.
RoleAttributeRange
setRoleAttributes(Collection<AtomicRoleAttribute>)
- Method in class tbox.
Alfabeth
setRoles(Collection<AtomicRole>)
- Method in class tbox.
Alfabeth
setSx(AtomicConcept)
- Method in class assertions.
ISA
setUConceptAttribute(AtomicConceptAttribute)
- Method in class domain.
ConceptAttributeDomain
setValueSets(Collection<AtomicValueDomain>)
- Method in class tbox.
Alfabeth
sx
- Variable in class assertions.
ISA
T
tbox
- package tbox
TBox
- Class in
tbox
TBox()
- Constructor for class tbox.
TBox
TBox(Collection<InclusionAssertion>, Collection<FunctionalityAssertion>, Collection<IdentificationAssertion>, Alfabeth, Collection<ISA>)
- Constructor for class tbox.
TBox
tbox
- Variable in class tbox.
TBoxParser
TBoxParser
- Class in
tbox
TBoxParser(String)
- Constructor for class tbox.
TBoxParser
toFOLPredicates()
- Method in class tbox.
Alfabeth
topC
- Variable in class tbox.
TBoxParser
topD
- Variable in class tbox.
TBoxParser
toString()
- Method in class assertions.
FunctionalityAssertion
toString()
- Method in class assertions.
IdentificationAssertion
toString()
- Method in class assertions.
InclusionAssertion
toString()
- Method in class domain.
AtomicConcept
toString()
- Method in class domain.
AtomicConceptAttribute
toString()
- Method in class domain.
AtomicRole
toString()
- Method in class domain.
AtomicRoleAttribute
toString()
- Method in class domain.
AtomicValueDomain
toString()
- Method in class domain.
ConceptAttributeDomain
toString()
- Method in class domain.
ConceptAttributeRange
toString()
- Method in class domain.
DirectRole
toString()
- Method in class domain.
DirectRoleAttributeDomain
toString()
- Method in class domain.
ExistentialRole
toString()
- Method in class domain.
InverseRole
toString()
- Method in class domain.
InverseRoleAttributeDomain
toString()
- Method in class domain.
NegatedBasicConcept
toString()
- Method in class domain.
NegatedBasicRole
toString()
- Method in class domain.
NegatedConceptAttribute
toString()
- Method in class domain.
NegatedRoleAttribute
toString()
- Method in class domain.
RoleAttributeRange
toString()
- Method in class tbox.
Alfabeth
toString()
- Method in class tbox.
TBox
translate(TBox)
- Static method in class translation.
FOLTranslator
translateConceptAttributeInclusionAssertion(InclusionAssertion)
- Static method in class translation.
FOLTranslator
translateConceptInclusionAssertion(TBox, InclusionAssertion)
- Static method in class translation.
FOLTranslator
translateFunctionalityAssertion(FunctionalityAssertion)
- Static method in class translation.
FOLTranslator
translateIdentificationAssertion(IdentificationAssertion)
- Static method in class translation.
FOLTranslator
translateInclusionAssertion(TBox, InclusionAssertion)
- Static method in class translation.
FOLTranslator
translateRoleAttributeInclusionAssertion(InclusionAssertion)
- Static method in class translation.
FOLTranslator
translateRoleInclusionAssertion(InclusionAssertion)
- Static method in class translation.
FOLTranslator
translateValueDomainInclusionAssertion(InclusionAssertion)
- Static method in class translation.
FOLTranslator
translation
- package translation
U
uc
- Variable in class domain.
ConceptAttributeDomain
uc
- Variable in class domain.
ConceptAttributeRange
uc
- Variable in class domain.
NegatedConceptAttribute
ur
- Variable in class domain.
DirectRoleAttributeDomain
ur
- Variable in class domain.
InverseRoleAttributeDomain
ur
- Variable in class domain.
NegatedRoleAttribute
ur
- Variable in class domain.
RoleAttributeRange
V
valueDisjointness(TBox)
- Static method in class translation.
FOLTranslator
valueSets
- Variable in class tbox.
Alfabeth
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
R
S
T
U
V
Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes